341. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
Author: S. Brookes...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
598
342. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
343. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
344. Mathematical logic and programming language
Author: Hoare, C. A. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
345. Mathematical logic and programming languages
Author: / edited by C.A.R. Hoare and J.C. Shepherdson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
346. Mathematical logic and programming languages
Author: / Edited by C. A. R. Hoare, J. C. Shepherdson
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming languages (Electronic computers),Logic, symbolic and mathematical
Classification :
QA76
.
6
.
M3646
1985
347. Mathematical logic in computer science
Author: / edited by B. Domolki and T. Gergely
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA76
،.
M352
1981
348. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
349. Meta - Levels Architectures and Reflection
Author: Edited by Patie MAES, Daniele NARDI
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
Classification :
QA
،
76
.
7
،.
M48
،
1988
350. Meta-level architectures and reflection
Author: edited by Pattie Maes, Daniel Nardi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
Classification :
QA
76
.
7
.
M48
1988
351. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
Author: Pierre Cointe )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1616
352. MetaSoft Primer
Author: \ Andrzej Blikle.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Metalanguage,فرازبان,a02,a02,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامهنویسی کامپیوتر -- معنیشناسی
Classification :
E-Book
,
353. MetaSoft primer :
Author: Andrzej Blikle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
.
B57
1987
354. MetaSoft primer : towards a metalanguage for applied denotational semantics
Author: Andrzej Blikle
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
288
355. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
Author: Akinori Yonezawa, Satoshi Matsuoka )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
2192
356. Methods of algorithmic language implementation
Author: edited by A. Ershov and C. H. A. Koster
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
47
357. Methods of algorithmic language implementation
Author: edited by A. Ershov and C.H.A. Koster
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
47
358. Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings
Author: Laszlo Boszormenyi, Peter Schojer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2789
359. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 2000: proceedings
Author: Jurg Gutknecht, Wolfgang Weck )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1897
360. Modular programming languages : joint Modular Languages Conference, JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings
Author: Hanspeter Mossenbock )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1204
